منابع مشابه
The Petri Net Baukastenn: an Application-oriented Petri Net Technology
The basic concepts of the Petri Net Baukastenn are introduced. The Petri Net Baukastenn is a Petri net technology and provides Petri net techniques. The Petri Net Baukastenn is consists of the Common Base and three diierent views, the Application Developer View, the Tool Developer View, and the Expert View. The main focus is to support the application developer and the tool developer as well as...
متن کاملRESTful Petri Net Execution
Representational State Transfer (REST) has received a lot of attention recently as architectural style for distributed systems made up of loosely coupled resources. While most research in process enactment focuses on BPEL and SOAP, most internet applications are based on REST. To leverage this new architectural style also for process enactment, this paper introduces process enactment in REST en...
متن کاملPetri net semantics
ion Another rather more speculative area for further research seeks to use the net semantics to develop a more abstract account of the logic, where we abstract away the role of the heap conditions from the semantics. To replace them, we label the control conditions with a formula of the heap logic. Events will be labelled to characterize their effect as actions on the state. For example, we mig...
متن کاملPetri net ontology
The paper presents the Petri net ontology that enables sharing Petri nets on the Semantic Web. Previous work on formal methods for representing Petri nets mainly defines tool-specific descriptions or formats for model interchange. However, such efforts do not provide a suitable description for using Petri nets on the Semantic Web. This paper uses the Petri net UML model as a starting point for ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Scholarpedia
سال: 2008
ISSN: 1941-6016
DOI: 10.4249/scholarpedia.6477